1. Formal methods for mobile computing
Author: / Marco Bernardo, Alessandro Bogliolo (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mobile computing, -- Congresses,a05,Formal methods (Computer science)--Congresses.,Computer software--Congresses.,System design--Congresses.
Classification :
QA76
.
9
.
F67
I587
2005


2. Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures
Author: Marco Bernardo, Alessandro Bogliolo )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Mobile computing,Congresses ، Formal methods )Computer science(,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
3465

